Править] Основные тождества



В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.

Сводная таблица свойств и аксиом, описанных выше:

; . 1 коммутативность переместительность
; . 2 ассоциативность сочетательность
3.1 конъюнкция относительно дизъюнкции 3.2 дизъюнкция относительно конъюнкции 3 дистрибутивность распределительность
; . 4 комплементность дополнительность (свойства отрицаний)
; . 5 законы де Моргана
; . 6 законы поглощения
; . 7 Блейка-Порецкого
; . 8 Идемпотентность
.   9 инволютивность отрицания
; . 10 свойства констант
; .
дополнение 0 есть 1 ; дополнение 1 есть 0 .
; . 11 Склеивание

См. также Алгебра логики

Править] Примеры

  • Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:

 


Дата добавления: 2016-01-05; просмотров: 18; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!